Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011.
9783642323546
by - Springer, 2012
Dewey: 610.285
|
N/A
0000
N/A
|
Paperback
|
$72.00
|
1 copy: $72.00
2+ copies: $72.00
|
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (2007)
9783540749639
by - Springer, 2007
Dewey: 004
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (2007)
9783540752905
by - Springer, 2007
Dewey: 003.54
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (2013)
9783642397172
by - Springer, 2013
Dewey: 003.54
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
9789812700179
by - World Scientific Publishing Company, 2006
Dewey: 005.3
|
N/A
0000
N/A
|
Hardcover
|
$170.00
|
1 copy: $181.90
2+ copies: $178.50
|
Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (2016)
9783319296272
by - Springer, 2016
Dewey: 004
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (2017
9783319568409
by - Springer, 2017
Dewey: 005.1
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (2014)
9783319076010
by - Springer, 2014
Dewey: 005.1
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Theoretical Aspects of Computing - Ictac 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (2022)
9783031177149
by - Springer, 2022
Dewey:
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (2005)
9783540253044
by - Springer, 2005
Dewey: 003.54
|
N/A
0000
N/A
|
Paperback
|
$109.99
|
1 copy: $109.99
2+ copies: $109.99
|
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Pro
9783540474609
by - Springer, 2006
Dewey: 005.131
|
N/A
0000
N/A
|
Paperback
|
$109.99
|
1 copy: $109.99
2+ copies: $109.99
|
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai,
9783642397202
by - Springer, 2013
Dewey: 004.0151
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (2007)
9783540752202
by - Springer, 2007
Dewey: 004.33
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (2009)
9783642047602
by - Springer, 2009
Dewey: 005.1
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (2013)
9783642396977
by - Springer, 2013
Dewey: 003.3
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (2018)
9783030029272
by - Springer, 2018
Dewey: 005.1
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (2019)
9783030176006
by - Springer, 2019
Dewey: 005.1
|
N/A
0000
N/A
|
Paperback
|
$64.99
|
1 copy: $64.99
2+ copies: $64.99
|
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Pro
9783319259413
by - Springer, 2015
Dewey: 003.3
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (2020)
9783030550882
by - Springer, 2020
Dewey:
|
N/A
0000
N/A
|
Paperback
|
$54.99
|
1 copy: $54.99
2+ copies: $54.99
|
